Buy Used and New Charles Carroll Morgan Books

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642034657

Format: Paperback (357 pages)
Publisher: Springer
Published: 29 Jul 2009

Save for later

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

by Annabelle McIver,Charles Carroll Morgan

ISBN 13: 9781441923127

Format: Paperback (404 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later